Fix 64-bit Xen build after new PIT (i8254) code.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/arch/x86/hvm/i8254.c b/xen/arch/x86/hvm/i8254.c
index 8caf02559f6bed2bc7f9fedfe8c9688fc67b5b8d..8a863240e104b5e760394e60d67f00947bbd9f5d 100644 (file)
--- a/xen/arch/x86/hvm/i8254.c
+++ b/xen/arch/x86/hvm/i8254.c
@@ -562,7 +562,8 @@ void pickup_deactive_ticks(struct hvm_virpit *vpit)
         if (next_time > 0)
             set_timer(&(s->hvm_time->pit_timer), s->next_transition_time);
         else {
-            printk("HVM_PIT:not set_timer before resume next_time=%lld!\n", next_time);
+            printk("HVM_PIT:not set_timer before resume next_time=%"
+                   PRId64"!\n", next_time);
             next_time = s->next_transition_time;
         }
     }